Inhalt des Dokuments

Master

On Bisimulations for Asynchronous Psi-Calculi

Samstag, 27. August 2016

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Victor (Univ. Uppsala)

Stüber, Anke

---